Liveness of Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie

Source URL: www.edsko.net

Dealing with extreme storm surges in The Netherlands Hans de Vries ∗ 1. Introduction

Source URL: www.waveworkshop.org

Functional Upgrading in Global Value Chains: Trends in Asia Gaaitzen J. de Vries

Source URL: www.worldklems.net

CODING MANUAL FOR CONCEPTUAL/INTEGRATIVE COMPLEXITY1 Gloria Baker-Brown, Elizabeth J. Ballard, Susan Bluck, Brian de Vries, Peter Suedfeld and Philip E. Tetlock Ove rvi e w Th i s m a n u a l a d va n c e s c o m p r e h

Source URL: www2.psych.ubc.ca

Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

Source URL: www.edsko.net

• Process calculi
• Theoretical computer science
• -calculus
• State-space representation
• Mathematics
• Academia
• Abstraction

A Practical Solution for Achieving Language Compatibility in Scripting Language Compilers Paul Biggar, Edsko de Vries, David Gregg Lero@TCD, Trinity College Dublin, Dublin 2, Ireland Abstract

Source URL: www.edsko.net

• Software engineering
• Software
• Computing
• Object-oriented programming languages
• Scripting languages
• Cross-platform software
• High-level programming languages
• Programming language implementation
• PHP
• Compiler
• Interpreter
• Eval

Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Source URL: www.edsko.net

• Theoretical computer science
• Mathematical logic
• Logic
• Lambda calculus
• Models of computation
• Computability theory
• Let expression
• Symbol
• Substitution
• Type system
• Security type system

God’s Word for Our World II, Theological and Cultural Studies in Honor of Simon John De Vries, (eds. J.H & D.L. Ellens, R. P. Knierim and I. Kalimi; JSOT 389; London/New York: T&T Clark, 2004), EMPIRE RE-AFFIRME

Source URL: homes.chass.utoronto.ca

• Bible
• Septuagint
• Christianity and Judaism
• Christian biblical canon
• Psalms
• Psalm

Reasoning about Explicit Resource Management∗ (Abstract) Edsko de Vries Trinity College Dublin, Ireland 1

Source URL: www.edsko.net

• Differential geometry
• Connection

Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes

Source URL: www.edsko.net

• Software engineering
• Type theory
• Declarative programming
• Computing
• Generic programming
• Polytypic
• Polymorphism
• Map
• Lambda calculus
• Dependent type
• Fold
• CurryHoward correspondence